From 2aa818d3bb928b9c9cee965182b0e538748f2c41 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 21 Sep 2007 16:52:17 +0100 Subject: [PATCH] vmx: Fix VMCS state pretty printing. Signed-off-by: Keir Fraser --- xen/arch/x86/hvm/vmx/vmcs.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/xen/arch/x86/hvm/vmx/vmcs.c b/xen/arch/x86/hvm/vmx/vmcs.c index 0a5cba8283..f6d571898c 100644 --- a/xen/arch/x86/hvm/vmx/vmcs.c +++ b/xen/arch/x86/hvm/vmx/vmcs.c @@ -652,7 +652,7 @@ static void vmx_dump_sel(char *name, enum x86_segment seg) { struct segment_register sreg; hvm_get_segment_register(current, seg, &sreg); - printk("%s: sel=0x%04x, attr=0x%04x, limit=0x%08x, base=0x%016llx\n", + printk("%s: sel=0x%04x, attr=0x%05x, limit=0x%08x, base=0x%016llx\n", name, sreg.sel, sreg.attr.bytes, sreg.limit, (unsigned long long)sreg.base); } @@ -691,8 +691,8 @@ void vmcs_dump_vcpu(void) (unsigned long long)vmr(GUEST_RSP), (unsigned long long)vmr(GUEST_RIP)); printk("RFLAGS=0x%016llx DR7 = 0x%016llx\n", - (unsigned long long)vmr(GUEST_DR7), - (unsigned long long)vmr(GUEST_RFLAGS)); + (unsigned long long)vmr(GUEST_RFLAGS), + (unsigned long long)vmr(GUEST_DR7)); printk("Sysenter RSP=%016llx CS:RIP=%04x:%016llx\n", (unsigned long long)vmr(GUEST_SYSENTER_ESP), (int)vmr(GUEST_SYSENTER_CS), -- 2.30.2